Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science

Source URL: www.itu.dk

• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Type theory
• Proof assistants
• Mathematics
• Automated theorem proving
• Isabelle
• Logical framework
• Twelf
• Formal methods
• Automated reasoning

CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)

Source URL: www.ietf.org

• Procedural programming languages
• Cross-platform software
• Data types
• C
• Enumerated type
• Type theory
• Struct
• Abstract Syntax Notation One
• D
• Binary star
• ALGOL 68
• Binary code

STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

Source URL: www.math.lsa.umich.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Fibred category
• Natural transformation
• Equivalence of categories
• Universal property
• Grothendieck topology
• Sheaf
• Forgetful functor

Homotopy-theoretic aspects of ¨ type theory Martin-Lof Nicola Gambino University of Palermo visiting

Source URL: www.math.unipa.it

JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Computing
• Software engineering
• Type theory
• Data types
• Java
• Object-oriented programming
• Swing
• Type system
• Polymorphism

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1

Source URL: www.angl.hu-berlin.de

• Theoretical computer science
• Grammar frameworks
• Complexity classes
• Theory of computation
• Type theory
• Formal languages
• Mathematics
• Categorial grammar
• NP
• Lambda calculus
• Model theory

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

JavaScript on Java EE Markus Eisele, @myfear Developer Advocate September, 2014

Source URL: 2014.jokerconf.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• Concurrent programming languages
• Type theory
• Object-oriented programming languages
• Type systems
• Strong and weak typing
• JavaScript
• Java
• Go